You are about to access our book library "Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 58) full version" .