Model checking technologies for Web services. - Hai Huang; Rick A. Mason (SEUS/WCCIA, 2006)