Added specifications for non-functionnal requirements.