Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems | IEEE Conference Publication | IEEE Xplore