Concurrent Runtime Monitoring of Formally Specified Programs. - Sriram Sankar; Manas Mandal (Computer, 1993)