Experiences Testing Safety-Critical Software