@misc{indiciae31830bc18890,
  title = {Improving medical protocols by formal methods.},
  author = {Annette ten Teije and Mar Marcos and Michel Balser and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Peter Lucas and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang},
  year = {2006},
  doi = {10.1016/j.artmed.2005.10.006},
  url = {https://pubmed.ncbi.nlm.nih.gov/16376061/},
  note = {Source identifier: 16376061}
}