State Space Explosion Mitigation for Large-Scale Attack and Compliance Graphs Using Synchronous Exploit Firing. - Noah L. Schrick; Peter J. Hawrylak (IEEE Open J. Comput. Soc., 2023)