Towards formal verification of freeway traffic control

@inproceedings{DBLP:conf/iccps/MitschLP12,
	pdf = {pub/trafficcenter.pdf},
	slides = {pub/trafficcenter-slides.pdf},
	study = {pub/trafficcenter-examples.zip},
	author = {['Stefan Mitsch', 'Sarah M. Loos', 'André Platzer']},
	title = {Towards formal verification of freeway
               traffic control},
	booktitle = {ICCPS},
	longbooktitle = {ACM/IEEE Third International Conference
               on Cyber-Physical Systems, Beijing, China,
               April 17-19},
	year = {2012},
	pages = {171-180},
	publisher = {IEEE},
	isbn = {978-0-7695-4695-7},
	doi = {10.1109/ICCPS.2012.25},
	editor = {['Chenyang Lu']}
}