Haibo Zeng Marco Di Natale Paolo Giusto Alberto L. Sangiovanni-Vincentelli Stochastic Analysis of Distributed Real-time Automotive Systems. 388-401 2009 5 IEEE Trans. Industrial Informatics 4 http://dx.doi.org/10.1109/TII.2009.2032067 db/journals/tii/tii5.html#ZengNGS09