T. Olsson, M. Ericsson, and A. Wingkvist. ECSA (Tracks and Workshops), volume 13928 of Lecture Notes in Computer Science, page 421-435. Springer, (2022)
M. Ericsson, A. Wingkvist, and W. Löwe. SIGRAD, volume 81 of Linköping Electronic Conference Proceedings, page 79-82. Linköping University Electronic Press, (2012)