@misc{indiciae318250a98d1e,
  title = {Towards Integrated Modelling of Dynamic Access Control with UML and Event-B},
  author = {Inna Vistbakka and Elena Troubitsyna},
  year = {2018},
  doi = {10.4204/eptcs.271.8},
  url = {https://arxiv.org/abs/1805.05521},
  note = {Source identifier: 1805.05521}
}