@inproceedings{SEKE-2005-WangWH,
	author        = "Farn Wang and Rong-Shiung Wu and Geng-Dian Huang",
	booktitle     = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
	isbn          = "1-891706-16-0",
	pages         = "448--454",
	title         = "{Verifying Timed and Linear Hybrid Rule-Systems with RED}",
	year          = 2005,
}