1. Aiello, M., Benthem, J., Bezhanishvili, G.: Reasoning about space: The modal way. J. Log. Comput. 13(6), 889–920 (2003)
2. Bartocci, E., Corradini, F., Entcheva, E., Grosu, R., Smolka, S.A.: CellExcite: A tool for simulating in-silico excitable cells. BMC Bioinformatics (to appear, 2007)
3. Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, Y.: Bounded model checking. In: Adv. in Comp., Highly Depend. Software, vol. 58, Academic Press, London (2003)
4. Bray, M.A., Lin, S.F., Aliev, R.R., Roth, B.J., Wikswo, J.P.J.: Experimental and theoretical analysis of phase singularity dynamics in cardiac tissue. J Cardiovasc Electrophysiol 12(6), 716–722 (2001)
5. Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Inf. Comput. 186(2), 194–235 (2003)