High Assurance in the Twenty-First Century With Roger Schell | IEEE Journals & Magazine | IEEE Xplore