Fe b 20 16 Unifying Requirements and Code : an Example