Challenges in embedded model checking — a simulator for the [mc]square model checker | IEEE Conference Publication | IEEE Xplore