Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns | IEEE Conference Publication | IEEE Xplore