Discrete-time hybrid modeling and verification of the batch evaporator process benchmark