Fault tolerant virtual machine architecture for advanced avionics applications | IEEE Conference Publication | IEEE Xplore