Ching-Huey Wang William C. Chu Feng-Jian Wang Providing a behavioral and static formal model to elicit the functional software requirement. 44-49 2005 conf/iri/2005 IRI http://dx.doi.org/10.1109/IRI-05.2005.1506447 db/conf/iri/iri2005.html#WangCW05