@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']}
}