Towards hard real-time system engineering | IEEE Conference Publication | IEEE Xplore