Pierre-Loïc Garoche

Formal Verification of Control System Software
Distributed Control for Cyber-Physical Systems