Toward safety and security in FACE components: High assurance with portability Read the article on Military Embedded Systems » Posted on: 3/20/2018