@inproceedings{pace:cav2002,
	TITLE     = {{SPeeDI} -- a Verification Tool for Polygonal Hybrid Systems},
	AUTHOR    = {E. Asarin and G. J. Pace and G. Schneider and S. Yovine},
	BOOKTITLE = {Computer Aided Verification, CAV '02, Copenhagen, Denmark},
	PUBLISHER = {LNCS 2404},
	MONTH     = jul,
	YEAR      = 2002
}