TY - JOUR T1 - Verification of an active control system using temporal process algebra JF - Engineering with computers Y1 - 1996 A1 - Elseaidy,W. M A1 - Baugh,J. W. A1 - Cleaveland, Rance VL - 12 CP - 1 ER -