1. ISO 26262-1:2011D Road vehicles-Functional safety. Technical report, ISO (2011)
2. Bebelis, V., Fradet, P., Girault, A., Lavigueur, B.: BPDF: a statically analyzable dataflow model with integer and boolean parameters. In: EMSOFT 2013, pp. 3:1–3:10. IEEE Press (2013)
3. Bondarev, E., Chaudron, M., de With, P.: Compositional performance analysis of component-based systems on heterogeneous multiprocessor platforms. In: SEAA 2006, pp. 81–91, August 2006
4. Communications in Computer and Information Science;A Boudjadar,2016
5. Boudjadar, A., Kim, J.H., Larsen, K.G., Nyman, U.: Compositional schedulability analysis of an avionics system using UPPAAL. In: Proceedings of ICAASE 2014, pp. 140–147 (2014)