How to Prove Complex Properties of Hybrid Systems with KeYmaera : A Tutorial ?