You are about to access our book library "Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651) full version" .