The QNX Operating System