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