1. Department of Information and Computing Sciences, Universiteit Utrecht, 3584 CC Utrecht, Netherlands;
2. Nederlandse Spoorwegen, 3511 ER Utrecht, Netherlands;
3. Department of Software and Computer Technology, Delft University of Technology, 2628 XE Delft, Netherlands