System-on-Chip Verification Process Using UML. - Qiang Zhu 005; Tsuneo Nakata; Masataka Mine; Kenichiro Kuroki; Yoichi Endo; Takashi Hasegawa (UML Satellite Activities, 2004)