Sophia Drossopoulou - Holistic specifications for robust code