Wael M. Elseaidy

Elseaidy, W. M., Cleaveland, R., & Baugh, J. W. (1997). Modeling and verifying active structural control systems. SCIENCE OF COMPUTER PROGRAMMING, 29(1-2), 99–122. https://doi.org/10.1016/S0167-6423(96)00031-7