On the Run-time Verification of Autonomy Software. - Ashish Tiwari; Purnendu Sinha; Umabharathi Ramachandran (SEW, 2003)