Verified traffic networks: Component-based verification of cyber-physical flow systems

@inproceedings{DBLP:conf/itsc/MullerMP15,
	pdf = {pub/trafficblocks.pdf},
	slides = {pub/trafficblocks-slides.pdf},
	author = {['Andreas Müller', 'Stefan Mitsch', 'André Platzer']},
	title = {Verified Traffic Networks: Component-Based
               Verification of Cyber-Physical Flow Systems},
	booktitle = {ITSC},
	longbooktitle = {Intelligent Transportation Systems (ITSC),
               2015 IEEE 18th International Conference on},
	year = {2015},
	pages = {757-764},
	doi = {10.1109/ITSC.2015.128},
	keywords = {Automobiles, Contracts, Load modeling, Mathematical model, Roads, Safety}
}