Xiaojian Liu Xuejun Liu Jianxin Li Yanzhi Zhao Zhixue Wang Refinement of UML Interaction for Correct Embedded System Design. 1156-1162 2008 ICYCS http://dx.doi.org/10.1109/ICYCS.2008.251 conf/icycs/2008 db/conf/icycs/icycs2008.html#LiuLLZW08