18 Sacda Architecture for Modern Industry Formal Specification of the Safe Autonomous Connected Distributed Edge Native Architecture V4.0

(ATS-assigned category from pilot ot).