TY  - SER
AU  - Ardis, Mark A.
AU  - Puchol, Carios
TI  - A Framework  for  Evaluating Specification Methods  for  Reactive Systems Experience Report
KW  -  Formal Methods
KW  - Specification
KW  - Industrial Application
ER  -