Synthesis of Procedural Models for Deterministic Transition Systems | Publicación