Sricharunrat*, W. and Vatanawood, W. (2018) “Consistency Check of Class Diagram and Sequence Diagrams Using B-Method”, CURRENT APPLIED SCIENCE AND TECHNOLOGY. Bangkok, Thailand, 6(2a), pp. 241–249. available at: https://li01.tci-thaijo.org/index.php/cast/article/view/147853 (accessed: 27 August 2026).