Special issue on formal active and passive testing of distributed and networked systems | Publicación