Spatiotemporal model checking of location and mobility related security policy specifications. - ÜNAL, Devrim; ÇAĞLAYAN, Mehmet Ufuk (Turkish Journal of Electrical Engineering & Computer Sciences, 2013)