Next Generation Design and Verification Methodologies for Distributed Embedded Control SystemsRamesh, S.131,95€