Model-based Specification and Design of Large-Scale Embedded Signal Processing Systems door