SEARCH Articles Figures Tables Development Assurance process formal methods Formal Representation of Process Trends Formal reversible process Meetings formal process Process trends formal representation