SEARCH Articles Figures Tables Formal methods Formalized Methods Kinetic evaluation Kinetic methods Kinetics method