PRISM: Program Replication and Integration for Seamless MILS | IEEE Conference Publication | IEEE Xplore