Reliable Requirement Specification