Lamsweerde, A. van <br/><br/>
Requirements engineering :  from system goals to UML models to software specifications / 
Axel van Lamsweerde 
 - Chichester, England ;  Hoboken, NJ :  John Wiley,  c2009 
 - xxix, 682 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. [641]-667) and index 
<br/><br/><label>ISBN: </label>9780470012703 (pbk.) 0470012706 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Systems engineering