Radetzki, Martin  <br/><br/>
Languages for embedded systems and their applications : selected contributions on specification design and verification from FDL 08 

 - New York  Springer  2009 
 - xiv, 324p. ; 24cm 
 - Lecture notes in electrical Engineering : v.36 .
<br/><br/><label>ISBN: </label>9781402097133 
<br/><br/><label>Dewey Class. No.: </label>004  / RAD