@conference {125,
	title = {An integrated state- and event-based framework for verifying liveness in supervised systems},
	booktitle = {ICARCV},
	year = {2012},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Jasen Markovski and Michel A. Reniers}
}