Formal synthesis of safety controller code for distributed controllersDirk MissalÉpuisé4,3Prévenez-moi
