Binary-arithmetic approach to observability checking in state estimation | Publicación