Vahid, F Gajski, D. D <br/><br/>
Specsyn: An Environment SupportingSpecify-Explore-Refine Paradigm  for  Hardware / Software Systems Design. 

 - 84-100 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded System