Jarkko Peltomäki Jesper Winsten Maxime Methais Ivan Porres Testing cyber-physical systems with explicit output coverage. 128-136 2024 ICSTW https://doi.org/10.1109/ICSTW60967.2024.00036 conf/icst/2024w db/conf/icst/icst2024w.html#PeltomakiWMP24 streams/conf/icst