Abstractions of finite-state machines and optimality with respect to immediately-detectable next-state faults | IEEE Journals & Magazine | IEEE Xplore