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