Simulation and verification of dynamic systems : executive summary - Nicol, David M. (Dagstuhl seminar proceedings 06161, 2006)