Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems - Ramesh, S.; Albert, Gert; Bienfait, Agathe; Sampath, Prahladavaradan; Sampath, P.; Sigmund, Steffen (Springer Netherlands, 2007)