Patrizio Pelliccione Paola Inverardi Henry Muccini CHARMY: A Framework for Designing and Verifying Architectural Specifications. 325-346 2009 35 IEEE Trans. Software Eng. 3 http://dx.doi.org/10.1109/TSE.2008.104 db/journals/tse/tse35.html#PelliccioneIM09