1. ARINC. ARINC Specification 653P1-2: Avionics Application Software Standard Interface Part 1 - Required Services. Technical report, Aeronautical Radio Inc., Maryland, USA (December 2005)
2. AUTOSAR. Layered Software Architecture (November 2010),
http://autosar.org/download/R4.0/AUTOSAR_EXP_LayeredSoftwareArchitecture.pdf
3. Baro, J., Boniol, F., Cordovilla, M., Noulard, E., Pagetti, C.: Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC 2012, pp. 1815–1820. ACM, New York (2012)
4. Baruah, S., Bonifaci, V., D’Angelo, G., Li, H., Marchetti-Spaccamela, A., Megow, N., Stougie, L.: Scheduling Real-Time Mixed-Criticality Jobs. IEEE Transactions on Computers 61(8), 1140–1152 (2012)
5. Behr, P.M., Haulsen, I., van Kampenhout, J.R., Pletner, S.: Multi-Core Technology for Fault Tolerant High-Performance Spacecraft Computer Systems. In: DASIA (2012)