SAE/TP 2007-01-3826 (PDF) Model-Based Design of Complex Integrated Systems for Synchronous Architectures