@incollection{GullaWillumsen93,
  author	= {Gulla, Jon Atle and Willumsen, G.},
  editor	= {Rolland, C. and Bodart, F. and Cauvet, C.},
  title		= {Using explanations to improve the validation of executable models},
  booktitle	= {Proceedings of the Fifth International Conference on Advanced Information Systems Engineering (CAiSE'93)},
  pages		= {118--142},
  year		= {1991},
  address	= {Berlin, New York},
  note		= {Paris},
  publisher	= {Springer}
}