Sricharunrat*, W.; Vatanawood, W. Consistency Check of Class Diagram and Sequence Diagrams Using B-Method. Curr. Appl. Sci. Technol. 2018, 6, 241-249.