Modelling MajorCAN with UPPAAL | Publicación