@article{ouchani2014formal,
  title         = {A formal verification framework for SysML activity diagrams},
  author        = {Ouchani, Samir and Mohamed, Otmane A{\"\i}t and Debbabi, Mourad},
  journal       = {Expert Systems with Applications},
  volume        = {41},
  number        = {6},
  pages         = {2713--2728},
  year          = {2014},
  publisher     = {Pergamon}
}