Jianwei Niu 0001 Joanne M. Atlee Nancy A. Day Composable semantics for model-based notations. 149-158 2002 conf/sigsoft/2002 SIGSOFT FSE https://doi.org/10.1145/587051.587074 db/conf/sigsoft/fse2002.html#NiuAD02