Text this: Automotive behavioral requirements expressed in a specification pattern system