Papadopoulos, Y. (2015). A synthesis of logic and biology in the design of dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 28(7), 1-8. https://doi.org/10.1016/j.ifacol.2015.06.465