M.: Timed interfaces (2002)

by L de Alfaro, T A Henzinger, Stoelinga