Architecture rationalization: a methodology for architecture verifiability, traceability and completeness | IEEE Conference Publication | IEEE Xplore