Guillaume Waignier Anne-Françoise Le Meur Laurence Duchien Architectural Specification and Static Analyses of Contractual Application Properties. 152-170 2008 QoSA http://dx.doi.org/10.1007/978-3-540-87879-7_10 conf/qosa/2008 db/conf/qosa/qosa2008.html#WaignierMD08