Colombo, C.; Pace, G. Monitor-Oriented Compensation Programming Through Compensating Automata. eceasst 2013, 58.