Replica Voting: a Distributed Middleware Service for Real-time Dependable Systems | IEEE Conference Publication | IEEE Xplore