Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh. Scalable model-checking for precise end-to-end latency computation. In 2011 IEEE International Symposium on Computer-Aided Control System Design, CACSD 2013, Hyderabad, India, August 28-30, 2013. pages 19-24, IEEE, 2013. [doi]
Abstract is missing.