Title	Experiences of Building Linux/RTOS Hybrid Operating Environments on Virtual Machine Monitors
Author	Shuichi Oikawa, Megumi Ito
Citation	Vol. 6  No. 5  pp. 146-152
Keywords	Virtual Machine Monitors, Operating Systems, Real-Time Systems, Information Appliances

Title	A Scheduling Algorithm of Periodic Messages for Hard Real-time Communications on a Switched Ethernet
Author	Hee Chan Lee, Myung Kyun Kim
Citation	Vol. 6  No. 5  pp. 111-119
Keywords	Real-time communications, switched Ethernet, message scheduling, industrial communications, real-time systems

Title	Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams
Author	Cecilia E. Nugraheni
Citation	Vol. 6  No. 12  pp. 18-27
Keywords	Reactive systems, real-time systems, verification, TLA, predicate diagrams.

Title	Overload Avoidance Algorithm for Real-Time Distributed System
Author	A. F. M. Suaib Akhter, Mahmudur Rahman Khan, Md. Shariful Islam
Citation	Vol. 12  No. 9  pp. 121-124
Keywords	Distributed system, EDF, Real-Time System, Scheduling algorithm.