@Inproceedings{combazisola2014,
   status = {public},
   link = {http://pmi.ascens-ist.eu/text_files/0000/0097/main.pdf},
   task = {T2.1},
   booktitle = {6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
   year = {2014},
   invited = {no},
   main = {yes},
   title = {{Rigorous System Design Flow for Autonomous Systems}},
   author = {Saddek Bensalem and Marius Bozga and Jacques Combaz and Ahlem Triki},
   period = {year4},
   partner = {Verimag},
   wp = {WP2}
}