Sriram Sankar, Manas Mandal: Concurrent Runtime Monitoring of Formally Specified Programs. Computer 26(3): 32-41 (1993)