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