A Systematic Process for Functional Decomposition in the Absence of Formal Requirements. Issue 1 (13th September 2016)