Case study: Performance and WCET analysis for parallelised avionic applications with ODC2 | IEEE Conference Publication | IEEE Xplore