2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems
December 1, 2009, Washington, D.C., USA (Co-located with RTSS 2009)