@article{DBLP:journals/tcsb/BartocciLMP12,
  title = "Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study",
  author = "Ezio Bartocci and Pietro Li{\`o} and Emanuela Merelli and Nicola Paoletti",
  year = "2012",
  journal = "Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes",
  pages = "53-76",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "14",
}