N. Savarese, P. Elsass, and J.-M. Pradier, “Report on the 5th Session of ISTA”, JTA, no. 2, pp. 184–193, Oct. 2022.