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