Added new case study.
Fixed reading of transitions in composite states.