Roohi, N., and G. Salaün. “Realizability and Dynamic Reconfiguration of Chor Specifications”. Informatica 35, no. 1. Accessed January 8, 2026. https://informatica.si/index.php/informatica/article/view/332.