public-svn - Revision 11559: /publications/vspwp/2023/23-15