Reasoning with Temporal Logic on Truncated Paths
The ForSpec Temporal Logic: A New Temporal Property-Specification Language