Languages for Digital Embedded Systems (The Springer International Series in Engineering and Computer Science, 572, Band 572)