2 works on record
Formal Analysis by Abstract Interpretation
Engineering Secure Internet of Things Systems