Opening up the Verification and Validation of Safety-Critical Software. - Hardi Hungar; Marc Behrens (Software Engineering (Workshops), 2013)