Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications | IEEE Conference Publication | IEEE Xplore