Estimating delays in networked control systems using colored Petri nets and Markov chain models | IEEE Conference Publication | IEEE Xplore