@article{97,
  author = {Georg Duftschmid and Silvia Miksch and W. Gall},
  title = {Verification of Temporal Scheduling Constraints in Clinical Practice Guidelines},
  year = {2002},
  journal = {Artificial Intelligence in Medicine (AIIM)},
  volume = {25},
  number = {2},
  pages = {93–121},
  language = {eng},
}