Modelling MajorCAN with UPPAAL. - Matias Bonet; Gabriel Donaire; Julián Proenza (ETFA, 2007)