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]
@article{BaeO21, title = {MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems}, author = {Kyungmin Bae and Peter Csaba Ölveczky}, year = {2021}, doi = {10.1145/3477036}, url = {https://doi.org/10.1145/3477036}, researchr = {https://researchr.org/publication/BaeO21}, cites = {0}, citedby = {0}, journal = {ACM Trans. Embedded Comput. Syst.}, volume = {20}, number = {5s}, }