An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code | IEEE Conference Publication | IEEE Xplore