CRTS 2009 - 2nd workshop on compositional theory and technology for real-time embedded systems