Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli (NFM, 2025)