Maurice H. Ter Beek

• Critical Systems : Formal Methods and Automated Verification