R. Ernst, Certificationn of trusted mpsoc platforms, 10th International Forum on Embedded MPSoC and multi-core, 2010.

C. K. Angelov, I. E. Ivanov, and A. Burns, HARTEX?a safe real-time kernel for distributed computer control systems, Software: Practice and Experience, vol.38, issue.3, pp.209-232, 2002.
DOI : 10.1002/spe.435

A. Baumann, P. Barham, P. Dagand, T. Harris, R. Isaacs et al., The multikernel, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.29-44, 2009.
DOI : 10.1145/1629575.1629579

J. Berthing and T. Maier, A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements, Proceedings of the 26th international conference on Computer Safety, Reliability, and Security, SAFECOMP'07, pp.505-517, 2007.
DOI : 10.1007/978-3-540-75101-4_47

M. Masmano, S. Peiro, J. Sanchez, J. Simo, and A. Crespo, Io virtualisation in a partitioned system, Proceeding of the 6th embedded real time software and systems congress, 2012.

R. Shah, Y. Lee, and D. Kim, Sharing I/O in Strongly Partitioned Real-Time Systems, Proceedings of the First international conference on Embedded Software and Systems, ICESS'04, pp.502-507, 2005.
DOI : 10.1007/11535409_73