SAE/TP 2006-01-1057 (PDF) Architecture Analysis of Safety Critical Systems Using Parametric Expressions to Calculate System Behavior