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