SACDA Architecture for Modern Industry

Formal Specification of the Safe Autonomous Connected Distributed Edge-Native Architecture