Maurice H. Ter Beek

Critical Systems : Formal Methods and Automated Verification