@ARTICLE{slim08a,
  author = {Slim  Kallel and Anis Charfi and Mohamed Jmaiel},
  title = {Using Aspects for Enforcing Formal Architectural
                  Invariants},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2008},
  volume = {215},
  pages = {5--21},
  doi = {10.1016/j.entcs.2008.06.018},
keywords  = {Formal},
  publisher = {Elsevier}
}