TY - BOOK AU - Bellagambsa, Laurence TI - Systems Engineering and Architecting: Creating Formal Requirements U1 - 004 BEL PY - 2012/// CY - New York PB - CRC Press ER -