David M. Nicol Corrado Priami Hanne Riis Nielson Adelinde M. Uhrmacher Simulation and Verification of Dynamic Systems Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 06161 2006 db/conf/dagstuhl/P6161.html Dagstuhl Seminar Proceedings