Modelling Complex Timing Requirements with Refinement | IEEE Conference Publication | IEEE Xplore