Specifying High-Assurance Services | IEEE Journals & Magazine | IEEE Xplore