Charmy Version 1.1
Fixed Bugs:
adding of messages in existing sequence diagrams
Promela code generation
Buchi automata generation