@incollection{ouchani2012efficient,
  title         = {Efficient probabilistic abstraction for SysML activity diagrams},
  author        = {Ouchani, Samir and Mohamed, Otmane Ait and Debbabi, Mourad},
  booktitle     = {Software Engineering and Formal Methods},
  pages         = {263--277},
  year          = {2012},
  publisher     = {Springer}
}