Designing Law-Compliant Software Requirements