Real-time specification patterns