Phần VI và VII sử dụng hai hệ thống để chứng minh là phương pháp được đề xuất. Phần VIII trình bày một thảo luận ngắn về sử dụng gói phần mềm thương mại đáng tin cậy để tạo thuận lợi cho việc áp dụng các phương pháp được đề xuất. Phần IX kết luận giấy này.
đang được dịch, vui lòng đợi..