A Markovian model for the computation time of real-time applications | IEEE Conference Publication | IEEE Xplore