Hussain, S.; Farid, S.; Alam, M.; Iqbal, S.; Ahmad, S. Modeling of Access Control System in Event-B. The Nucleus 2018, 55, 74-84.