The QNX Approach to HA