O. Stoll, W. Zou, E. Rodel, and S. West. PRO-VE, volume 629 of IFIP Advances in Information and Communication Technology, page 337-344. Springer, (2021)
O. Stoll, S. Züst, E. Rodel, and S. West. APMS (2), volume 690 of IFIP Advances in Information and Communication Technology, page 17-31. Springer, (2023)