@article {CPA12async,
   author = {Colombo, Christian and Pace, Gordon and Abela, Patrick},
   title = {Safer asynchronous runtime monitoring using compensations},
   journal = {Formal Methods in System Design},
   publisher = {Springer},   
   year = {2012},
   volume = {41},  
   number = {3},
   pages = {269--294}
   }