Using reverse engineering techniques to infer a system use case model. Issue 2 (6th November 2018)