Gordon R. Stone Complex Reactive Real Time Systems and the Safety Case. 23-32 2004 conf/scs/2004 SCS http://crpit.com/confpapers/CRPITV47Stone.pdf db/conf/scs/scs2004.html#Stone04