M. Lobo, I. Roboredo Seara, and I. Falé, “Technical Details”, rapl, no. 7, Nov. 2020.