Ed Brinksma David Harel Angelika Mader Perdita Stevens Roel Wieringa Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 MMOSS Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 06351 2007 db/conf/dagstuhl/P6351.html Dagstuhl Seminar Proceedings