Automated planning for software architecture evolution | IEEE Conference Publication | IEEE Xplore