Advances in design and specification languages for embedded systems - Huss, Sorin A. 1950- (Springer, 2007)