Expressing and Organizing Real Time Specification Patterns via Temporal Logics