Gleb Naumovich George S. Avrunin Lori A. Clarke Leon J. Osterweil Applying Static Analysis to Software Architectures. 77-93 1997 conf/esec/1997 ESEC / SIGSOFT FSE http://doi.acm.org/10.1145/267895.267904 db/conf/esec/esec97.html#NaumovichACO98