Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy. - Emsaieb Geepalla; Behzad Bordbar; Joel Last (MEDI, 2012)