//-->
Safety verification and reachability analysis for hybrid systems
Guéguen, Hervé, (2009)
Design of a combined cycle power plant model for optimization
Tică, Adrian, (2012)