keywords Automation & Control Systems DAE Systems Numerical and Symbolical Methods for Modelling Science & Technology Technology