Validating multiple variants of an automotive light system with electrum - Cunha, Alcino (2020)