A systematic approach on modeling refinement and regression testing of real-time distributed systemsPal, Deepak; Vain, JüriIFAC-PapersOnLine2019 / p. 1091-1096 https://doi.org/10.1016/j.ifacol.2019.11.341 Conference proceedings at Scopus Article at Scopus Article at WOS