Sufficient criteria for consistent behavior modeling with refined acticvity diagrams - Lambers, Leen; Jurack, Stefan; Mehner-Heindl, Katharina 1970-; Runge, Olga; Taentzer, Gabriele 1963- ([Technische Universität Berlin], 2008)