@inproceedings{csaw2006-02,
	TITLE     = {Runtime Validation Using Interval Temporal Logic},
	AUTHOR    = {Karlston D'Emanuele and Gordon J. Pace},
	BOOKTITLE = {Computer Science Annual Workshop 2006 (CSAW'06)},
	PUBLISHER = {University of Malta},
	MONTH     = dec,
	YEAR      = 2006
}