The earlier the better: a theory of timed actor interfaces (2011)

by M Geilen, S Tripakis, M Wiggers
Venue:In HSCC