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	Real-time programming platforms in the mainstream environments
Author	Husein A. Al Ofeishat, Ahmad A. Al-Rababah
Citation	Vol. 9  No. 1  pp. 197-204
Keywords	Real-time systems, embedded system, QNX, Neutrino, Java