@article{ouchani2014property,
  title         = {A property-based abstraction framework for SysML activity diagrams},
  author        = {Ouchani, Samir and A{\"\i}t Mohamed, Otmane and Debbabi, Mourad},
  journal       = {Knowledge-Based Systems},
  volume        = {56},
  pages         = {328--343},
  year          = {2014},
  publisher     = {Elsevier}
}