Synthesizing partial component-level behavior models from system specifications.

Ivo Krka Yuriy Brun George Edwards Nenad Medvidovic Synthesizing partial component-level behavior models from system specifications. 305-314 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595756 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#KrkaBEM09