Spiking neural P systems: matrix representation and formal verification | Publicación