Decomposition of transition systems into sets of synchronizing state machines