Implementation of WAMPAC in the CLARO environment. - Artem Kashtanov; Arpit Shah; Eric Glende; Shafaque Talpur; Martin Wolter (Autom., 2025)