Project for the UGent course Formal Systems Modelling for Software