Federico Ferrari, Marco Zimmerling, Luca Mottola, Lothar Thiele. Virtual Synchrony Guarantees for Cyber-physical Systems. In IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013. pages 20-30, IEEE, 2013. [doi]
Abstract is missing.