multi-paradigm-specifications
Synthesis of discrete dynamical systems from multi-paradigm specifications