Peter Robinson Ulrich Schmid The Asynchronous Bounded-Cycle Model. 246-262 2008 SSS http://dx.doi.org/10.1007/978-3-540-89335-6_20 conf/sss/2008 db/conf/sss/sss2008.html#RobinsonS08