Moonzoo Kim Kyo Chul Kang Formal Construction and Verification of Home Service Robots: A Case Study. 429-443 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_32 db/conf/atva/atva2005.html#KimK05