Synthesis of Procedural Models for Deterministic Transition Systems