Virtual Synchrony Guarantees for Cyber-physical Systems | IEEE Conference Publication | IEEE Xplore