Gian Luigi Ferrari Stefania Gnesi Ugo Montanari Roberto Raggi Gianluca Trentanni Emilio Tuosto Verication On The Web Of Mobile Systems. 72-74 2004 conf/vveis/2004 VVEIS db/conf/vveis/vveis2004.html#FerrariGMRTT04