D Drozdov, V Dubinin, S Patil… - IEEE Open Journal of the …, 2021 - diva-portal.org
This paper proposes a formal model for industrial cyber-physical systems (CPS) with
distributed control based on IEC 61499 standard and supporting time-aware computations …