. . . "Parameter synthesis"@en . "Opacity"@en . "Parametric timed automata"@en . "Timed automata"@en . "Jun Sun" . "Sun" . "Jun" . <0000-0002-3545-1392> . "IMITATOR"@en .