@inbook{0ee95c6a269b4166b43075f8e2660cf8,
title = "Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems",
author = "Bowen Zheng and Hengyi Liang and Zhilu Wang and Qi Zhu",
note = "DOI: 10.1007/978-3-319-97301-2; ",
year = "2019",
language = "English (US)",
isbn = "978-3319973005",
series = "Unmanned System Technologies",
publisher = "Springer International Publishing",
pages = "163--186",
editor = "Huafeng Yu and Xin Li and Murray, {Richard M} and S Ramesh and Tomlin, {Claire J}",
booktitle = "Safe, Autonomous and Intelligent Vehicles",
}