The current implementation of the UPPAAL model and the properties checked with GenoM3 can be obtained here.