Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. - Sota Sato 001; Atsuyoshi Saimen; Masaki Waga; Kenji Takao; Ichiro Hasuo (FM, 2021)