Bernhard Schätz Alexander Pretschner Franz Huber Jan Philipps Model-Based Development of Embedded Systems. 298-312 2002 conf/oois/2002w OOIS Workshops http://link.springer.de/link/service/series/0558/bibs/2426/24260298.htm db/conf/oois/oois2002w.html#SchatzPHP02