Decomposition and Traceability in Software Design | IEEE Conference Publication | IEEE Xplore