Reaching Consensus with Byzantine Faulty Controllers in Software-Defined Networks. (12th April 2021)