Industrial automation requires optimization of unmanned processes. For these processes all possible scenarios have to be thought through beforehand. To do that, mathematical modeling is necessary, especially in complex systems. Typical challenges are scheduling, logistics and the speed of real-time evaluation. LIME helps companies to draw up and evaluate these models and implements the result (the Mathware) in real-time systems.