Sricharunrat*, W. and Vatanawood, W. 2018. Consistency Check of Class Diagram and Sequence Diagrams Using B-Method. CURRENT APPLIED SCIENCE AND TECHNOLOGY. 6, 2a (Mar. 2018), 241–249.