Point to new paper

Author: edwardalee

docs/writing-reactors/distributed-execution.mdx

@@ -272,6 +272,7 @@ Note that the program will freeze if, for example, the `Double` federate fails.
 
 `STAA` and `STA` are rather sophisticated variables. See [the research papers](https://www.lf-lang.org/research) for guidance.
 For example, the paper [Consistency vs. Availability in Distributed Cyber-Physical Systems](https://dl.acm.org/doi/10.1145/3609119) provides a foundational theory and fundamental tradeoffs that can be tuned using `STA` and `STAA`.
+The paper [Logical Time in Actor Systems](https://eecs.berkeley.edu/~eal/publications/LeeTimeAghaFestschriftPreprint2025.pdf) provides a more detailed explanation of the theory and implementation of `STA` and `STAA`.
 
 ## Dynamically Adjusting the STA