Function rta_event_source 

pub fn rta_event_source<SBF, RBF>(
    supply: &SBF,
    demand: &RBF,
    limit: Duration,
) -> SearchResult
where
    SBF: SupplyBound + ?Sized,
    RBF: RequestBound + ?Sized,

Bound the response time of an event source for a given supply and demand model, using the analysis proposed by Casini et al. (2019).

If no fixed point is found below the divergence limit given by limit, return a SearchFailure instead.

The bound is based on Lemma 1 of Casini et al. (2019).