BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration | IEEE Conference Publication | IEEE Xplore