A monitoring-oriented theory and classification of quantitative specifications
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.