Sricharunrat*, W., and W. Vatanawood. “Consistency Check of Class Diagram and Sequence Diagrams Using B-Method”. CURRENT APPLIED SCIENCE AND TECHNOLOGY, vol. 6, no. 2a, Mar. 2018, pp. 241-9, https://li01.tci-thaijo.org/index.php/cast/article/view/147853.