Test oriented formal model of SDN applications | Publicación