Text this: Formal Attribute Specification Template To Elicit Accurate Automotive Requirements