GitHub repository: 17451k/base-model
Created: 2018-11-09T15:36:43Z
Description: First level of the Event-B specification of the HIMACF model (with role-based access control)