TY  - BOOK
AU  - Bellagamba,Laurence
TI  - Systems engineering and architecting: creating formal requirements 
SN  - 9781439881408
PY  - 2012///
CY  - Boca Raton, FL
PB  - CRC Press
KW  - Systems engineering
KW  - Mathematics
KW  - Requirements engineering
N1  - Includes bibliographical references and index
ER  -