Mining heuristics for scheduling distributed hard real-time tasks | IEEE Conference Publication | IEEE Xplore