STATEMATE: a working environment for the development of complex reactive systems | IEEE Conference Publication | IEEE Xplore