Reasoning about real-time programs using idle-invariant assertions.

Ian J. Hayes Reasoning about real-time programs using idle-invariant assertions. 16-23 2000 conf/apsec/2000 APSEC http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150016abs.htm db/conf/apsec/apsec2000.html#Hayes00