[1] Computer Aided Verification

[2] Constant Angular Velocity.