A framework for evaluating specification methods for reactive systems-experience report | IEEE Journals & Magazine | IEEE Xplore