MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems

Kyungmin Bae, Peter Csaba Ölveczky. MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embedded Comput. Syst., 20(5s), 2021. [doi]

Abstract

Abstract is missing.