Normative Time-Bounded Service Logic