Formal verification of statecharts using finite-state model checkers | IEEE Journals & Magazine | IEEE Xplore