Zaharakis, I., and A. Kameas,  "Modeling spiking neural networks",  Theoretical Computer Science, vol. 395, issue 1: Elsevier, pp. 57-76, 2008.