DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins. - Abdelhamid Rouatbi; Eugene Syriani; Bentley Oakes (MODELS-C, 2025)