Visible to the public High Confidence Software and Systems: A Rockwell Collins Perspective