You are about to access our book library "Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science, 215) full version" .