1. [n.d.]. CPLEX. http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/. [n.d.]. CPLEX. http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/.
2. [n.d.]. LINDO SYSTEMS INC. https://www.lindo.com/index.php/products/lindo-api-for-custom-optimization-application . [n.d.]. LINDO SYSTEMS INC. https://www.lindo.com/index.php/products/lindo-api-for-custom-optimization-application .
3. The algorithmic analysis of hybrid systems
4. Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger , and Pei Hsin Ho. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems . In Hybrid Systems, Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 209--229. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei Hsin Ho. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 209--229.
5. Bounded Model Checking