1. Combined task and message scheduling in distributed real-time systems
2. Aeronautical Radio Inc. 1997. Avionics Application Software Standard Interface--ARINC Specification 653. https://www.aviation-ia.com/products/653p0-2-avionics-application-software-standard-interface-part-0-overview-arinc-653. Aeronautical Radio Inc. 1997. Avionics Application Software Standard Interface--ARINC Specification 653. https://www.aviation-ia.com/products/653p0-2-avionics-application-software-standard-interface-part-0-overview-arinc-653.
3. Fault tolerance in multi-core processors using flexible redundant threading;Ashok Kumar P.;Int. J. Adv. Comput. Eng. Netw.,2014
4. DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems
5. A Framework for Distributing Real-Time Functions