What They Meant to Do vs. What Happened: Modeling Plans and Executions in CTI
How STONEWORK models what an adversary planned, what actually happened, and whether the prediction held, using a worked ATT&CK T1003.001 example and the SPARQL to query it.