Large drilling machine control code — Parallelisation and WCET speedup | IEEE Conference Publication | IEEE Xplore