Formal Verification Analysis of Load-Voltage Power Control. - Mark Moulin; Leonid Gluhovsky; Daniel Geist (Intell. Autom. Soft Comput., 2006)

A formal verification approach to revealing stealth attacks on networked control systems. - Nikola Trcka; Mark Moulin; Shaunak D. Bopardikar; Alberto Speranzon (HiCoNS, 2014)

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. - Thao Dang 001; Alie El-Din Mady; Menouer Boubekeur; Rajesh Kumar; Mark Moulin (CSDM, 2016)

Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic. - Mark Moulin; Emeka Eyisi; Devu Manikantan Shila; Qinqing Zhang (MILCOM, 2018)