Medusa: Managing Concurrency and Communication in Embedded Systems

Publication
Proceedings of the USENIX Annual Technical Conference