Diverse Intrusion-tolerant Systems - Henriques, Miguel Garcia Tavares (2019)