S. Zhu, L. Tabajara, J. Li, G. Pu, and M. Vardi. Haifa Verification Conference, volume 10629 of Lecture Notes in Computer Science, page 147-162. Springer, (2017)
M. Vardi, S. Fogarty, Y. Li, and Y. Tsay. Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 185-207. Springer, (2022)