Add greater detail to behavioural tests, reference sections and appendix, add references