Synthesising optimal timing delays for timed i/o automata. (2014)

by M Diciolla, C H P Kim, M Kwiatkowska, A Mereacre
Venue:In EMSOFT’14. ACM,