An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. - Mehmet Said Nur Yagmahan; Abdolbaghi Rezazadeh; Michael J. Butler (ABZ, 2024)