Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer: Verification of Hybrid Systems. Handbook of Model Checking 2018: 1047-1110