An Expressive and Implementable Formal Framework for Testing RealTime Systems (2005)

by M Krichen, S Tripakis
Venue:In 17th IFIP Intl. TestCom'05