Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science, 215, Band 215)