Assisting the synchronization of UCM-based architectural documentation with implementation | IEEE Conference Publication | IEEE Xplore