T. N. Thuan, T. T. Binh, and V. V. Hieu, “Formalizing and checking web service discovery models using B”., J. Comput. Sci. Cybern., vol. 28, no. 1, pp. 77–88, Jun. 2012.