DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems Unknown author
MATHEMATICAL MODELLING AND SIMULATION OF A TORSIONAL BAR ACTUATED TRUNK LID MECHANISM FOR A PASSENGER CAR O. Kopmaz A. Yildiz
Modelling and simulation of Space Station Freedom berthing dynamics and control Paul A. Cooper, Garrison, James L., Jr., Raymond C. Montgomery, Shih-Chin Wu, Alan E. Stockwell, Martha E Demeo