@inproceedings{BBC+14,
title = { Rigorous System Design Flow for Autonomous Systems },
author = {Bensalem, Saddek and Bozga, Marius and Combaz, Jacques and Triki, Ahlem},
year = {2014},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee},
pages = {184--198},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8802},
team = {DCS, RSD},
}
