Paper accepted at CONCUR'26

We are happy that our paper about complementing Emerson-Lei elevator automata, has been accepted at CONCUR’26.