7 works on record
Runtime Verification
From Reactive Systems to Cyber-Physical Systems
Lectures on Runtime Verification
Model Checking Software
Computational Methods in Systems Biology
Formal Methods in Outer Space
Organicittà