Sricharunrat*, Waitaya, and Wiwat Vatanawood. “Consistency Check of Class Diagram and Sequence Diagrams Using B-Method”. CURRENT APPLIED SCIENCE AND TECHNOLOGY 6, no. 2a (March 30, 2018): 241–249. accessed September 25, 2026. https://li01.tci-thaijo.org/index.php/cast/article/view/147853.