Realizability and Dynamic Reconfiguration of Chor Specifications. INF. 35(1). Accessed November 16, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/332