E. Spanakis, and F. Chiarugi. MobiHealth, volume 83 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 197-202. Springer, (2011)
D. Chiarugi, M. Falaschi, C. Olarte, and C. Palamidessi. Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 183-201. Springer, (2015)