Specification and Automatic Discretization of ODE and DAE Systems in an AML.