Smart objects for dependable real-time systems. - Shi-Kuo Chang; Yeong-Jia Chen; Daniel Mossé (WORDS, 1994)

An object-based model for dependable real-time distributed systems. - Yeong-Jia Chen; Daniel Mossé; Shi-Kuo Chang (WORDS, 1996)

A framework for modelling dependable real-time distributed systems. - Yeong-Jia Chen; Daniel Mossé; Shi-Kuo Chang (Int. J. Syst. Sci., 1997)