Simulating and validating virus machines | Publicación