Joseph Sifakis Specification and Verification of Timed Systems. 3-4 1995 conf/forte/1995 FORTE db/conf/forte/forte1995.html#Sifakis95