Title: A practical approach to implementing real-time semantics
First published: 1999
Subjects: Algebra, Protocol (Computers), Program verification (Computers), Real time operation