Idle Speed Control - A Benchmark for Hybrid System Research