Semi Automated Consistency Checking Between Use Case Scenarios and UML Sequence Diagrams