M. Blondin, J. Esparza, and A. Kucera. 29th International Conference on Concurrency Theory (CONCUR 2018), volume 118 of Leibniz International Proceedings in Informatics (LIPIcs), page 33:1-33:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)https://arxiv.org/abs/1807.00331.
J. Esparza, P. Ganty, R. Majumdar, and C. Weil-Kennedy. 29th International Conference on Concurrency Theory (CONCUR 2018), volume 118 of LIPIcs, page 31:1-31:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)https://arxiv.org/abs/1807.06071.