"From Design to Invariants: Detecting Attacks on Cyber Physical Systems."

Sridhar Adepu, Aditya Mathur (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics