Bellagamba, Laurence <br/><br/>
Systems engineering and architecting :  creating formal requirements / 
Laurence Bellagamba 
 - Boca Raton, FL :  CRC Press,  c2012 
 - xv, 406 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781439881408 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Systems engineering--Mathematics<br/>Requirements engineering