The HITVICE VV&A environment. - Fang Ke; Yang Ming; Zicai Wang (WSC, 2005)