Citation: C. Puchol et al., AN OPERATIONAL SEMANTICS AND COMPILER FOR REAL-TIME SPECIFICATIONS, Integrated computer-aided engineering, 5(3), 1998, pp. 187-206
Citation: J. Yang et al., SYMBOLIC MODEL CHECKING FOR EVENT-DRIVEN REAL-TIME SYSTEMS, ACM transactions on programming languages and systems, 19(2), 1997, pp. 386-412
Citation: Tw. Kuo et Ak. Mok, INCREMENTAL RECONFIGURATION AND LOAD ADJUSTMENT IN ADAPTIVE REAL-TIMESYSTEMS, I.E.E.E. transactions on computers, 46(12), 1997, pp. 1313-1324
Citation: Rh. Wang et Ak. Mok, RESPONSE-TIME BOUNDS OF EQL RULE-BASED PROGRAMS UNDER RULE PRIORITY STRUCTURE, IEEE transactions on software engineering, 21(7), 1995, pp. 605-614
Citation: F. Jahanian et Ak. Mok, MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS, IEEE transactions on software engineering, 20(12), 1994, pp. 933-947
Citation: Amk. Cheng et al., ANALYSIS OF REAL-TIME RULE-BASED SYSTEMS WITH BEHAVIORAL CONSTRAINT ASSERTIONS SPECIFIED IN ESTELLA, IEEE transactions on software engineering, 19(9), 1993, pp. 863-885