@book { , title = {Real-Time Operating System iRMX-88}, month = {01/1988}, type = {book}, author = {Wojciech Cellary and Wieczerzycki, W.} }