Madhu Gopinathan Sriram K. Rajamani Runtime Monitoring of Object Invariants with Guarantee. 158-172 2008 RV http://dx.doi.org/10.1007/978-3-540-89247-2_10 conf/rv/2008 db/conf/rv/rv2008.html#GopinathanR08