A software tool for verification of Spiking Neural P Systems | Publicación