Colombo, C. and Pace, G. (2013) “Monitor-Oriented Compensation Programming Through Compensating Automata”, Electronic Communications of the EASST, 58. doi: 10.14279/tuj.eceasst.58.839.