SEARCH Articles Figures Tables Development Assurance process formal methods Method development Method process Method validation development process Processed method Processing methods