Existence Test for Asynchronous Interval Iteration. - Ole Caprani; Kaj Madsen; Ole Stauning (Reliab. Comput., 1997)