1. Avionics application software standard interface. arinc specification 653-1;Airlines Electronic Engineering Committee,2010
2. Arinc specification 664p7: Aircraft data network, part 7 - avionics full duplex switched ethernet (afdx) network;Aeronautical Radio INC,2009
3. Execution environment for mixed-criticality train applications based on an integrated architecture;Fang,2017
4. A survey of research into mixed criticality systems;Burns;ACM Comput. Surv.,2017
5. Safe4rail, URL https://safe4rail.eu/partners.