Lamsweerde, A. van Requirements engineering : from system goals to UML models to software specifications / Axel van Lamsweerde. - Chichester : Wiley, 2010. - 682 p. : ill. Includes bibliographical references and index ISBN: 9780470012703 Subjects--Topical Terms: Software engineeringSystems engineering LC Class. No.: QA76.758 / L357R