Static and dynamic analysis of real-time systems. - Wael M. Elseaidy (ACM Southeast Regional Conference, 1992)

Verifying an Intelligent Structural Control System: A Case Study. - Wael M. Elseaidy; Rance Cleaveland; John W. Baugh Jr. (RTSS, 1994)

A tool for modeling and verifying real-time systems. - Wael M. Elseaidy; Rance Cleaveland (ICECCS, 1995)

Modeling and Verifying Active Structural Control Systems. - Wael M. Elseaidy; Rance Cleaveland; John W. Baugh Jr. (Sci. Comput. Program., 1997)