DOI,IST REx ID,Research Group,Title of publication
10.1145/2728606.2728630,1690,ToHe,HYST: A source transformation and translation tool for hybrid automaton models