Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Ramírez-Martínez D.  (2008).??A software tool for verification of Spiking Neural P Systems.  Natural Computing. 7(4),?485-497.