Albert Benveniste. Some Synchronization Issues When Designing Embedded Systems from Components. In Thomas A. Henzinger, Christoph M. Kirsch, editors, Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Volume 2211 of Lecture Notes in Computer Science, pages 32-49, Springer, 2001. [doi]
Abstract is missing.