K. Alghamdi and M. Silaghi, “Automatic verification of multi-agent systems security properties specified with LTL”, FLAIRS, vol. 35, May 2022.