Automated modular specification and verification of real-time reactive systems | IEEE Conference Publication | IEEE Xplore