SAE/TP 2007-01-3225 (PDF) Testing Heuristic Tools for Life Support System Analysis