Probabilistic Model Checking of Constraints in a Supply Chain Business Process. - Tamara Mendt; Carsten Sinz; Olga Tveretina (BIS, 2011)

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. - Tamara Mendt; Carsten Sinz; Olga Tveretina (BIS (Workshops), 2011)