Added non-functional constraints and some introductory remarks