@InProceedings{johnsen06iccpsrv,
  author =	 {Einar Broch Johnsen and Gerardo Schneider 
                  and \"Oystein Torget},
  title =	 {Runtime Validation of Communication Histories},
  booktitle =	 {Proc. 2nd {IEEE} Intl. Conf. on Intelligent 
                  Computer Communication and Processing ({ICCP} 2006)},
  publisher =	 {U.T. Press},
  pages =	 {161--168},
  month =	 sep,
  year =	 2006,
  isbn =	 "978-973-662-233-5",
}