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