The implementation of specification-based testing system for real-time reactive system in TROMLAB framework