@inproceedings{pace:csaw2005-03,
	TITLE     = {Source-Level Runtime Validation Through Interval Temporal Logic},
	AUTHOR    = {G. J. Pace and K. D'Emanuele},
	BOOKTITLE = {Computer Science Annual Workshop 2005 (CSAW'05)},
	PUBLISHER = {University of Malta},
	MONTH     = sep,
	YEAR      = 2005
}