A Stochastic Petri Net Framework for Dependability Evaluation of Fieldbus Networks - A Controller Area Network (CAN) Example - Paulo José Portugal (2004)