Thomas W. Barr, Scott Rixner. Medusa: Managing Concurrency and Communication in Embedded Systems. In Garth Gibson, Nickolai Zeldovich, editors, 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014. pages 439-450, USENIX Association, 2014. [doi]
Abstract is missing.