Simulation-verification: biting at the state explosion problem | IEEE Journals & Magazine | IEEE Xplore