Towards a general methodology for formal verification on spiking neural P systems | Publicación