Parasara Sridhar Duggirala, Mahesh Viswanathan 0001. Analyzing Real Time Linear Control Systems Using Software Verification. In 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015. pages 216-226, IEEE, 2015. [doi]
Abstract is missing.