A Domain-Specific Language Approach for Quantitative Monitoring of Cyber-Physical Systems