SAE/TP 2007-01-3827 (PDF) Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain