Kevin Lano Stephen J. Goldsack Formalizing Real-Time System Design. 436-445 1997 conf/ecoopw/1997 ECOOP Workshops https://doi.org/10.1007/3-540-69687-3_81 db/conf/ecoopw/ecoopw97.html#LanoG97