A modular implementation model of the Primary-Shadow TMO replication scheme and a testing approach using a real-time environment simulator | IEEE Conference Publication | IEEE Xplore