@Article{KAL18b,
  Author = {Kallel, Sahar and Tibermacine, Chouki and Kallel, Slim and Hadj Kacem, Ahmed and Dony, Christophe},
  Title = {Specification and Automatic Checking of Architecture Constraints on Object Oriented Programs},
  Journal = {In the Journal of Information and Software Technology (IST)},
  Year = {May 2018},
  Volume = {101},
  Pages = {16--31},
  Publisher = {Elsevier}
}