Initial-State Observability of Mealy-Based Finite-State Machine With Nondeterministic Output Functions | IEEE Journals & Magazine | IEEE Xplore