Sricharunrat*, Waitaya, and Wiwat Vatanawood. 2018. “Consistency Check of Class Diagram and Sequence Diagrams Using B-Method”. CURRENT APPLIED SCIENCE AND TECHNOLOGY 6 (2a). Bangkok, Thailand:241-49. https://li01.tci-thaijo.org/index.php/cast/article/view/147853.