Project for the UGent course Formal Systems Modelling for Software - View it on GitHub