Better Safe than Sorry: Modeling Reliability and Security in Replicated SDN Controllers | IEEE Conference Publication | IEEE Xplore