Signal Feature Coverage and Testing for CPS Dataflow Models. - Bartocci, Ezio; Mariani, Leonardo; Nickovic, Dejan; Yadav, Drishti (ACM Transactions on Software Engineering & Methodology, 2025)