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