TY  - RPRT
TI  - Formalization and Validation of Safety-Critical Requirements
AU  - Alessandro Cimatti
AU  - Marco Roveri
AU  - Angelo Susi
AU  - Stefano Tonetta
PY  - 2012
DO  - 10.4204/eptcs.20.7
UR  - https://arxiv.org/abs/1003.1741
ID  - 1003.1741
ER  -