Everything on a real project: federated models, MIDP/TIDP, clash detection, search sets, model checking & reports