TY  - BOOK
AU  - Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
TI  - Critical Systems: Formal Methods and Automated Verification
SN  - 9783319459431
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-45943-1
ER  -