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	A Survey on Scheduling Algorithms in Real-Time Systems
Author	Wafa Hantom, Alanoud Aldweesh, Reem Alzaher and Atta-ur-Rahman
Citation	Vol. 22  No. 4  pp. 686-690
Keywords	Scheduling Algorithms; Real-time Systems; Priority-driven Algorithms; EDF (Earliest Deadline First); RM (Rate Monotonic)