Theoretical Foundations for Runtime Monitoring (Version intégrée)