Timed Interfaces.

Luca de Alfaro, Thomas A. Henzinger, Marille Stoelinga

Browse the full EMSOFT paper archive.