Integrating Refinement-Based Methods for Developing Timed Systems. - Vain, Jüri; Tsiopoulos, Leonidas; Boström, Pontus (2016)