Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsDavid L. Dill1989PDF40 MBEN
Analyses of Track Shift Under High-speed Vehicle-track InteractionG Samavedam, United States & 2 more1997EN