?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Alberto&rft.aulast=Bemporad&rft.au=Bemporad%2C+Alberto&rft.issue=4&rft.volume=7&rft.date=April+2001&rft.title=European+Journal+of+Control&rft.atitle=Discrete-time+hybrid+modeling+and+verification+of+the+batch+evaporator+process+benchmark&rft.issn=0947-3580&rft.pages=382-399&rft.genre=article