publication venue for Automated system testing using dynamic and resource restricted clients 2014 Fault-tolerant control synthesis and verification of distributed embedded systems 2014 Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures 2014