Edward Hermann Haeusler, Marcus Felipe M. C. Da Fontoura. Using transition systems to formalize a pattern for time dependable applications. In Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings. pages 216-227, IEEE, 1999. [doi]
Abstract is missing.