Level set methods for computing reachable sets of systems with differential algebraic equation dynamics. - Elizabeth Ann Cross; Ian M. Mitchell (ACC, 2008)