Nancy A. Lynch Simulation Techniques for Proving Properties of Real-Time Systems. 375-424 1993 conf/rex/1993 REX School/Symposium db/conf/rex/rex93.html#Lynch93 http://dx.doi.org/10.1007/3-540-58043-3_24