1. Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, USA
2. Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA
3. Department of Computer Science, University of Oldenburg, Oldenburg, Germany
4. Computer Science, Technical University of Munich, München, Germany
5. Institute for Transportation Systems, German Aerospace Center (DLR), Braunschweig, Germany