Temporal Logic Modeling of Biological Systems. - Jean-Marc Alliot; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro; Gilles Favre; Jean-Charles Faye; Naji Obeid; Olivier Sordet (Towards Paraconsistent Engineering, 2016)