Michael Mock Expressing Real-Time Requirements on Object-Interactions. 201-208 2004 conf/isorc/2004 ISORC http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240201abs.htm db/conf/isorc/isorc2004.html#Mock04