A Dynamic Slicing Technique for UML Architectural Models | IEEE Journals & Magazine | IEEE Xplore