Towards secure and dependable software-defined networks
Implementing fault-tolerant services using the state machine approach: a tutorial