Power of 10 của NASA/JPL: 10 quy tắc viết mã C an toàn và vụ Toyota
Power of 10 là bộ 10 quy tắc viết mã C do Gerard Holzmann (NASA/JPL) công bố năm 2006, và từng được nhóm phần mềm của NASA dùng làm một thước đo khi đánh giá firmware bướm ga điện tử của Toyota. Bài viết giới thiệu bộ quy tắc, xét quy tắc nào áp dụng được nguyên văn và quy tắc nào cần điều chỉnh trong hệ thống nhúng Linux thời gian thực, rồi trình bày cách đưa chúng vào quy trình kiểm tra tự động.