C. Colombo and G. Pace, “Monitor-Oriented Compensation Programming Through Compensating Automata”, ECEASST, vol. 58, Jul. 2013.