Bartocci, E., Liò, P., Merelli, E., & Paoletti, N. (2012). Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. In Transactions on Computational Systems Biology XIV : Special Issue on Computational Models for Cell Processes (pp. 53–76). IEEE. https://doi.org/10.1007/978-3-642-35524-0_3