An introduction to the verification of hybrid systems using ARIADNE