A method and a technique to model and ensure timeliness in safety critical real-time systems | IEEE Conference Publication | IEEE Xplore