A Non-Markovian Model to Assess Contact Tracing for the Containment of COVID-19 | IEEE Journals & Magazine | IEEE Xplore