ASTRAL

A Formal Specification Language for Real-Time Systems

http://www.cs.ucsb.edu/~seclab/projects/astral/index.html