Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain. Verifying Response Times in Networked Automation Systems Using Jitter Bounds. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 47-50, IEEE, 2014. [doi]
Abstract is missing.