@inproceedings{EBS1,
title = {A temporal configuration logic for dynamic reconfigurable systems },
author = {El{-}Hokayem, Antoine and Bozga, Marius and Sifakis, Joseph},
year = {2021},
booktitle = {{SAC}},
pages = {1419--1428},
publisher = {{ACM}},
team = {axe_Mohytos, RSD},
}
