The batch evaporator: A case study of target control for hybrid systems using level set methods. - Anastasios Trontis; Michael P. Spathopoulm (CDC, 2002)