Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. - Ben Attia Hasiba; Laid Kahloul; Saber Benhazrallah; Samir Bourekkache (Int. J. Inf. Sec., 2020)