High-speed, analyzable simulators, Computer-Aided Reasoning Case Studies (2000)

by D Greve, M Wilding, D Hardin