Actor-Based Model Checking for SDN Networks | Publicación