Generation of synchronizing state machines from a transition system: A region-based approach | Publicación