Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404