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{\"u}ller and
               Stefan Mitsch and
               Andr{\'e} 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},
}```