@inproceedings{Mikytiv26,
  author={Mikytiv, Vladyslav and Toninho, Bernardo and Ferreira, Carla},
  booktitle={2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)}, 
  title={In Perfect Harmony: Orchestrating Causality in Actor-Based Systems}, 
  year={2026},
  volume={},
  number={},
  pages={464-474},
  keywords={Context;Monitoring;Modeling;Conductors;Timing;Runtime;Cause effect analysis;Printing;Servers;Tracking;runtime verification;actor-based systems;specification languages;causality tracking},
  doi={10.1109/ICST69053.2026.00065}}