The QNX 4 Real-time Operating System