Europe Invests Over €3M in Research and Development to Extend MILS Technologies for Critical Distributed Systems