@article{GT-VMT-2013-ColomboP,
	author        = "Christian Colombo and Gordon J. Pace",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/839",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Monitor-Oriented Compensation Programming Through Compensating Automata}",
	volume        = 58,
	year          = 2013,
}