Tracer: A Tool for Race Detection in Software Defined Network Models. - Georgiana Caltais; Mahboobeh Zangiabady; Ervin Zvirbulis (FROM, 2024)