@article {12841,
	title = {Verification of an active control system using temporal process algebra},
	journal = {Engineering with computers},
	volume = {12},
	year = {1996},
	month = {1996///},
	pages = {46 - 61},
	author = {Elseaidy,W. M and Baugh,J. W. and Cleaveland, Rance}
}
