Advances in Design and Specification Languages for Embedded Systems - Huss, Sorin A.; Huss, Sorin Alexander (Springer Netherlands, 2007)