Title: Practical Aspects of the Modelling of Reactive Systems
Subjects: Finite element method, System design