@article{01ad9b392460452d9d6a9241bb4ac165,
title = "Formal verification of simulation scenarios in Aviation Scenario Definition Language (ASDL)",
keywords = "ASDL, DSL, Formal methods, Statecharts, Verification",
author = "Bharvi Chhaya and Shafagh Jafer and Umut Durak",
note = "Publisher Copyright: {\textcopyright} 2018 by the authors.",
year = "2018",
month = mar,
day = "1",
doi = "10.3390/aerospace5010010",
language = "English",
volume = "5",
journal = "Aerospace",
issn = "2226-4310",
number = "1",
}