_id,doi,title
1690,10.1145/2728606.2728630,HYST: A source transformation and translation tool for hybrid automaton models