"Efficient Probabilistic Abstraction for SysML Activity Diagrams."

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics