Chiarugi, D., Falaschi, M., Hermith, D., & Olarte, C. (2015). Verification of spatial and temporal modalities in biochemical systems. Electronic Notes in Theoretical Computer Science, 316, 29-44. doi:10.1016/j.entcs.2015.06.009.