TY  - SER
AU  - Vahid, F
AU  - Gajski, D. D
TI  - Specsyn: An Environment SupportingSpecify-Explore-Refine Paradigm  for  Hardware / Software Systems Design
KW  - Embedded System
ER  -