Analyzing critical process models through behavior model synthesis.

Christophe Damas Bernard Lambeau Francois Roucoux Axel van Lamsweerde Analyzing critical process models through behavior model synthesis. 441-451 2009 ICSE http://dx.doi.org/10.1109/ICSE.2009.5070543 conf/icse/2009 db/conf/icse/icse2009.html#DamasLRL09