@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} }