A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems