CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects | IEEE Conference Publication | IEEE Xplore