Stefan Edelkamp Stefan Leue Willem Visser Directed Model Checking 06172 2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany db/conf/dagstuhl/P6172.html Dagstuhl Seminar Proceedings