Patterns for Time-Triggered Embedded Systems | SafeTTy Systems Ltd