Secure Motion Verification using the Doppler Effect
Smart cars on smart roads: Problems of control