A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. - Irbis Gallegos; Omar Ochoa; Ann Q. Gates; Steve Roach; Salamah Salamah; Corina Vela (SEKE, 2008)