Analyzing critical process models through behavior model synthesis.

Christophe Damas, Bernard Lambeau, Franois Roucoux, Axel van Lamsweerde

Browse the full ICSE paper archive.