Dynamic modeling of replicated objects for dependable soft real-time distributed object systems | IEEE Conference Publication | IEEE Xplore