Yosr Jarraya, Mourad Debbabi: Formal Specification and Probabilistic Verification of SysML Activity Diagrams. TASE 2012: 17-24