Checking Consistency of UML state and sequence diagrams using B