"Specifying Safety and Progress Properties with RSL."

Jesper Gørtz (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics