TY  - GEN
AU  - Gnesi, Stefania
AU  - Margaria, Tiziana
TI  - Formal Methods for Industrial Critical Systems: A Survey of Applications 
SN  - 9780470876183
U1  - 004.0151 23
PY  - 2013///
CY  - Hoboken, New Jersey
PB  - John Wiley & Sons
KW  - Formal methods
N1  - Includes bibliographical references and index
UR  - https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118459898?download=true
ER  -