Júlvez, J. Oliver, S.G. Modeling, analyzing and controlling hybrid systems by Guarded Flexible Nets Nonlinear Anal. Hybrid Syst. 10.1016/j.nahs.2018.11.004 2019 2019