Modular composition of redundancy management protocols in distributed systems: an outlook on simplifying protocol level formal specification and verification | IEEE Conference Publication | IEEE Xplore