@article{FH0,
title = { Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics },
author = {Foughali, Mohammed and Hladik, Pierre-Emmanuel},
year = {2020},
journal = {Journal of Systems Architecture},
pages = {817-830},
publisher = {Elsevier},
volume = {101},
team = {RSD},
}
