Cavaliere, Ibarra, Păun, Egecioglu, Ionescu, Woodworth, 2009. Asynchronous spiking neural P systems 410.. https://doi.org/10.1016/j.tcs.2009.02.031