Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Discrete-time hybrid modeling and verification of the batch evaporator process benchmark. European Journal of Control, 7 (4). pp. 382-399. ISSN 0947-3580 (2001)