Simon Mørk Jens Chr. Godskesen Michael R. Hansen Robin Sharp A Timed Semantics for SDL. 295-309 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#MorkGHS96