Alignment of Software Specifications with Quality- and Business Goals in the SIKOSA Methodology