Teaching Aids for Modeling and Control of Hybrid Systems (CAMCHS). - Juraj Stevek; Stefan Kozák (ACE, 2012)

Python code generation for explicit MPC in MPT. - Bálint Takács; Juraj Stevek; Richard Valo; Michal Kvasnica (ECC, 2016)

A Parametric Programming Approach to Automated Integrated Circuit Design. - Juraj Stevek; Michal Kvasnica; Miroslav Fikar; Alojz Gomola (IEEE Trans. Control. Syst. Technol., 2018)