_id,doi,title 9202,10.1109/RTSS49844.2020.00031,Hybridization for stability verification of nonlinear switched systems