Real-time : theory in practice : proceedings