Using transition systems to formalize a pattern for time dependable applications. - Edward Hermann Haeusler; Marcus Felipe M. C. Da Fontoura (WORDS (Jan.), 1999)