"Structuring Real-Time Object-Z Specifications."

Graeme Smith, Ian J. Hayes (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics