@INPROCEEDINGS{mcseai06b,
author = {Imen Loulou and Ahmed Hadj Kacem and Mohamed Jmaiel and Khalil Drira},
title = {A formally specified framework for elaborating event-based
architectural styles correct by design},
booktitle = {Proceedings of the eigth Maghrebian Conference on
Software Engineering and Artificial Intelligence
(MCSEAI'06)},
year = {2006},
pages = {132--138},
month = {December},
keywords  = {Formal},
}