A Vaccination Simulator for COVID-19: Effective and Sterilizing Immunization Cases | IEEE Journals & Magazine | IEEE Xplore