Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006