Steve Schneider Rigorous Specification of Real-Time Systems. 59-74 1993 conf/amast/1993 AMAST db/conf/amast/amast93.html#Schneider93