Computing with real-time systems Proceedings of the ... European Seminar