Concern-driven design for a specification language supporting component-based software engineering | IEEE Conference Publication | IEEE Xplore