ESL-TIK-00215 Mixed Integer Programming for Automated Testing and Automated Verification of System Specifications