Modelling with CIMOSA: a Case Study