1 Interdisciplinary Computing and Complex Biosystems Research Group, School of Computing, Newcastle University , Newcastle-upon-Tyne, U.K.
2 Cross-disciplinary Integration of Design Automation Research Research Group and Hybrid & Networked Systems Group, Electrical & Computer Engineering Department, Boston University , Boston, Massachusetts, USA.