Requirements recovery from legacy systems by analysing and modelling behaviour | IEEE Conference Publication | IEEE Xplore