D5.2 Model-based testing framework | Publicación