STATEMATE: a working environment for the development of complex reactive systems | IEEE Journals & Magazine | IEEE Xplore