Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams