Verification Patterns – Taking Reuse to the Next Level