Roohi, N., and G. Salaün. “Realizability and Dynamic Reconfiguration of Chor Specifications”. Informatica 35 (1). https://puffbird.ijs.si/index.php/informatica/article/view/332.