M. Bozga, J. Esparza, R. Iosif, J. Sifakis, and C. Welzel. Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, volume 12078 of Lecture Notes in Computer Science, page 228--246. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2002.07672">Link</a><br>#conference.
G. Oberdieck, J. Shen, and Q. Yin. (2018)cite arxiv:1805.07001Comment: Minor changes. Replace Proposition 3.2 in v3, whose proof contains a gap, by Lemma 3.2. Main theorems 0.1 and 0.2 remain unchanged. Modifications comparing to v3 are summarized in Footnote 3 (Page 4).