On static WCET analysis vs. run-time monitoring of execution time | IEEE Conference Publication | IEEE Xplore