@article{bartocci2012multiple,
  author    = {Ezio Bartocci and
               Pietro Li{\`{o}} and
               Emanuela Merelli and
               Nicola Paoletti},
  title     = {Multiple Verification in Complex Biological Systems: The Bone Remodelling
               Case Study},
  journal   = {Trans. Computational Systems Biology},
  volume    = {14},
  pages     = {53--76},
  year      = {2012},
  url       = {https://link.springer.com/chapter/10.1007/978-3-642-35524-0_3},
  doi       = {10.1007/978-3-642-35524-0_3},
}