Ardis, Mark A. Puchol, Carios <br/><br/>
A Framework  for  Evaluating Specification Methods  for  Reactive Systems Experience Report 

 - 378-389 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Methods<br/>Specification<br/>Industrial Application