@inproceedings{9ad16f92875340989ba0b0f672d036d7,
title = "A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems",
author = "Monir Chadli and Kim, {Jin Hyun} and Axel Legay and Traonouez, {Louis Marie} and Stefan Naujokat and Steffen Bernhard and Larsen, {Kim Guldstrand}",
year = "2016",
doi = "10.1007/978-3-319-45943-1_9",
language = "English",
isbn = "978-3-319-45942-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "133–141",
booktitle = "Critical Systems",
address = "Germany",
note = "FMICS ; Conference date: 26-09-2016 Through 28-09-2016",
}