Formalizing Software Architectures: An Industrial Experience. - Petre Dini; Amina Belkhelladi; Walcélio L. Melo (ESEC / SIGSOFT FSE, 1997)