TY - BOOK AU - Antonsson, Erik K, ed. AU - Cagan, Jonathan, ed. TI - Formal engineering design synthesis SN - 521792479 CY - Cambridge KW - Engineering design N1 - Includes bibliographical references and index ER -