Intergration of assessment 1 of FormalSpec