selected publications conference paper Towards Automated Security Evaluation within the Industrial Reference Architecture 2020 An integrated environment for the complete development cycle of an object-oriented distributed real-time system 2003 Mechanisms for a reliable cooperation of vehicles 2002