Thorsten Gerdsmeier Rachel Cardell-Oliver A Method for Verifying Real-Time Properties of Ada Programs. 35- 2001 conf/iceccs/2001 ICECCS http://csdl.computer.org/comp/proceedings/iceccs/2001/1159/00/11590035abs.htm db/conf/iceccs/iceccs2001.html#GerdsmeierC01