An approach based on stochastic Petri nets for dependability evaluation of PROFIBUS-DP networks | IEEE Conference Publication | IEEE Xplore