Differential Logic and Dynamic Systems 2.0