Sierra/Aria 4.40 Verification Manual.