@INPROCEEDINGS{KallelCoordination07,
author = {Slim Kallel and Anis Charfi and Mira Mezini and Mohamed Jmaiel},
title = {{Combining Formal Methods and Aspects for Specifying and
Enforcing Architectural Invariants}},
booktitle = {Proceedings of the 9th International Conference on
Coordination Models and Languages (Coordination)},
year = {2007},
volume = {4467},
series = {Lecture Notes in Computer Sciences},
pages = {211--230},
address = {Paphos, Cyprus},
month = {June},
publisher = {Springer},
keywords  = {Formal},
doi = {10.1007/978-3-540-72794-1_12}
}