Specification-based testing for real-time reactive systems | IEEE Conference Publication | IEEE Xplore