Title	Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author	Satoshi Yamane
Citation	Vol. 6  No. 1  pp. 192~203
Keywords	Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling

Title	A Fuzzy Algorithm for Scheduling Periodic Tasks on Multiprocessor Soft Real-Time Systems
Author	Mojtaba Sabeghi, Hossein Deldari
Citation	Vol. 6  No. 3  pp. 88-97
Keywords	Multiprocessor real-time scheduling, FGEDF, FGMLF, FPEDF, FPMLF.

Title	Model-based Design for Real-time Software
Author	Yan Li, Zhang Hong-jun
Citation	Vol. 8  No. 8  pp. 91-95
Keywords	real-time scheduling, model-based design, precedence constraint, EDF algorithm, Schedulability