Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.

Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer

Browse the full MODELS paper archive.