Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.

Published in: J. Syst. Softw. (2021)

Keyphrases