The non-blocking forbidden state problem for compact rectangular hybrid automata. - M. R. Laurence; Michael P. Spathopoulos (ECC, 1999)