@incollection{ouchani2010verification,
  title         = {Verification of the Correctness in Composed UML Behavioural Diagrams},
  author        = {Ouchani, Samir and Mohamed, Otmane Ait and Debbabi, Mourad and Pourzandi, Makan},
  booktitle     = {Software Engineering Research, Management and Applications 2010},
  pages         = {163--177},
  year          = {2010},
  publisher     = {Springer}
}