ISHPP2024-Angermann-Analytical optimization and practical verification-142_a