This is the Modelling Practices unit of the course in Formal Methods in Software Development AY 2017/18. This unit addresses the use of formal methods for mathematical modelling of dynamical systems and for specification of logic properties invo