Sandro Etalle William H. Winsborough A posteriori compliance control. 11-20 2007 conf/sacmat/2007 SACMAT http://doi.acm.org/10.1145/1266840.1266843 db/conf/sacmat/sacmat2007.html#EtalleW07