Testing cyber-physical systems with explicit output coverage. - Jarkko Peltomäki; Jesper Winsten; Maxime Methais; Ivan Porres (ICSTW, 2024)