Formal methods and models for system design :  a system level pers pective / 
edited by Rajesh Gupta ... [et al.]. 
 - Boston :  Kluwer Academic Publishers,   c2004. 
 - ix, 372 p. :  ill. ;   25 cm. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>1402080514 (alk. paper) 9781402080517 (alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design.<br/>Mathematical models.
<br/><br/><label>Dewey Class. No.: </label>004.21