Formal patterns for multirate distributed real-time systems

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky. Formal patterns for multirate distributed real-time systems. Science of Computer Programming, 91:3-44, 2014. [doi]

Abstract

Abstract is missing.