TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment. - Jarnjak, Fran; Kim, Jinhyung; Jing, Yixin; In, Hoh Peter; Jeong, Dongwon; Baik, Doo-Kwon (2005)