Real-time emulation of boost inverter using the Systems Modeling Language and Petri nets. - Alonso Gutierrez Galeano; Michael Bressan; José Fernando Jiménez Vargas; Corinne Alonso (Math. Comput. Simul., 2019)