of Random Delays from Embedded Software Implementations Using Hidden Markov Models -- On