No Photo Gabriel Donaire Lines of Research Publications Modelling MajorCAN with UPPAAL Date: 2007-12-31