Merged state machine diagrams