
494 References
[Sha89] Alan C. Shaw,“Reasoning about time in higher-level language software,”IEEE Transactions
on Software Engineering, 15 (1989): 875–889.
[Shl92] Sally Shlaer and Stephen J. Mellor, Object Lifecycles: Modeling the World in States.
New York: Yourdon Press Computing Series, 1992.
[Spi07] Cary R. Spitzer, ed., Digital Avionics Handbook, Second Edition: Avionics Development
and Implementation. Boca Raton, FL: CRC Press, 2007.
[Sri94] Amitabh Srivastava and Alan Eustace, “ATOM: A system for building customized pro-
gram analysis tools,” Digital Equipment Corp., WRL Research Report 94/2, March 1994,
http://www.research.digital.com.
[Sta97A] ...