Hermann Kopetz Composability in Distributed Real-Time Systems. 2002 ICDCS db/conf/icdcs/icdcs2002.html#Kopetz02