Full title: Capturing generalized recurring system attributes with specification patterns. Property specification patterns equipped with a natural language front-end and automated mapping support for a temporal logic of choice offer a solution to overcome the pragmatic barriers to specify system properties in a purely mathematical fashion. Recorded on 13 February 2015.