Michael Lane Talbert
Virginia Polytechnic Institute and State Univ.
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)