Advances in design and specification languages for embedded systems selected contributions from FDL' 06 - Huss, Sorin A. (Springer, 2007)