“Realizability and Dynamic Reconfiguration of Chor Specifications”. Informatica 35, no. 1. Accessed November 14, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/332.