"Tools for Specifying Real-Time Systems."

Giacomo Bucci, Maurizio Campanai, Paolo Nesi (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics