Human Control Strategy: Abstraction, Verification, and Replication [25 Years Ago] | IEEE Journals & Magazine | IEEE Xplore