@article{a488445ac9e04448a3374faf8ea60065,
title = "Ready for testing: ensuring conformance to industrial standards through formal verification",
keywords = "Certification tests, Dependability, Model Checking, Safety-critical systems, SME, Verification",
author = "Sergio Feo-Arenis and Bernd Westphal and Daniel Dietsch and Marco Mu{\~n}iz and Siyar Andisha and Andreas Podelski",
year = "2016",
doi = "10.1007/s00165-016-0365-3",
language = "English",
volume = "28",
pages = "499--527",
journal = "Formal Aspects of Computing",
issn = "0934-5043",
publisher = "Springer",
number = "3",
}