2 works on record
Formal Verification of Control System Software
Distributed Control for Cyber-Physical Systems