Temporal Verification of Reactive Systems: Safety

The Temporal Logic of Reactive and Concurrent Systems: Specification

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Reactive Systems Modelling, Specification and Verification Aceto Ingólfsdóttir

Temor y Temblor (Spanish Edition)