Model-Based Formalization of Software Architecture Knowledge | IEEE Conference Publication | IEEE Xplore