Model-based testing of apps in real network scenarios | Publicación