Alghamdi, K.; Silaghi, M. Automatic Verification of Multi-Agent Systems Security Properties Specified With LTL. FLAIRS 2022, 35.