@INPROCEEDINGS{BouazizKJWETICE2014,
 author = {Rahma Bouaziz Kammoun and Slim Kallel and Bernad Coulette},
 title = {A Collaborative Process for Developing Secure Component
                  based Applications},
 booktitle = {Proceedings of the the 23rd IEEE International
                  Conference on Collaboration Technologies and
                  Infrastructure (WETICE)},
 year = {2014},
 publisher = {IEEE Computer Society},
 keywords = {Formal}
}