Emsaieb Geepalla. Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications. In Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic, CyberSec 2014, Beirut, Lebanon, April 29 - May 1, 2014. pages 16-21, IEEE, 2014. [doi]
Abstract is missing.