A Method for Writing Testable Conformance Requirements