Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology - Rosenblueth, David A. (Frontiers in Bioengineering and Biotechnology, 2016)