Enviar por SMS: Dynamic contracts for verification and enforcement of real-time systems properties