Fang Ke, Yang Ming, Zicai Wang: The HITVICE VV&A environment. WSC 2005: 1220-1227