[Voas93] J. Voas, J. Payne, F. Cohen A Model for Detecting the Existence of Software Corruptions in Real-Time, IFIP-TC11 Computers and Security, V12#3 May, 1993 pp275-283. [This paper details the complexity involved in real-time analysis of software corruptions. It also contains complexity results relating to interupts in multiprocessing environments.]