Holger Giese Florian Klein Autonomous Shuttle System Case Study. 90-94 2003 conf/dagstuhl/2003scenarios Scenarios: Models, Transformations and Tools http://dx.doi.org/10.1007/11495628_5 db/conf/dagstuhl/scenarios2003.html#GieseK03