A special checkpointing object method based primary-passive TMO replication scheme and middleware support | IEEE Conference Publication | IEEE Xplore