Ed Brinksma David Harel Angelika Mader Perdita Stevens Roel Wieringa 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). 2006 MMOSS http://drops.dagstuhl.de/opus/volltexte/2007/958 conf/dagstuhl/2006P6351 db/conf/dagstuhl/P6351.html#BrinksmaHMSW06a