W. Sricharunrat* and W. Vatanawood, “Consistency Check of Class Diagram and Sequence Diagrams Using B-Method”, Curr. Appl. Sci. Technol., vol. 6, no. 2a, pp. 241–249, Mar. 2018.