Exchanging information in cooperative software validation. - Haltermann, Jan; Wehrheim, Heike (Software & Systems Modeling, 2024)