A Real-Time Specification Patterns Language Nouha Abid , Silvano Dal Zilio