Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness