Ashish Tiwari Purnendu Sinha Umabharathi Ramachandran On the Run-time Verification of Autonomy Software. 58 2003 conf/sew/2003 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270726 db/conf/sew/sew2003.html#TiwariSR03