SAS is initially verified by comparison with the analytical solution of the linear (and simpler) model, and with results from other numerical methods. Case study a (Section 5) with the modifications: ℎ $ and 𝐾 evaluated at 𝑇 1 = 597.2 K, is used in the comparison. Thus, following the methodology of Section 6.1, two discretization levels are considered, 𝑘 9CD = 10 R and 𝑘 9CD = 1. As illustrated in Fig. , excellent agreement (within the machine error) was obtained for 𝜁 at the reactor outlet, for the different discretization levels studied.