@conference {247,
	title = {Probably Safe or Live},
	booktitle = {Computer Science Logic and Logic in Computer Science (CSL-LICS)},
	year = {2014},
	publisher = {{ACM}, http://dx.doi.org/10.1145/2603088.2603147},
	organization = {{ACM}, http://dx.doi.org/10.1145/2603088.2603147},
	author = {Joost-Pieter Katoen and Lei Song and Lijun Zhang}
}