Sriram Sankar Manas Mandal Concurrent Runtime Monitoring of Formally Specified Programs. 32-41 1993 26 IEEE Computer 3 db/journals/computer/computer26.html#SankarM93