SAE/TP 2011-01-2504 (PDF) Application of Model Based Functional Specification Methods to Environmental Control Systems Engineering