These days an extended version of our paper “Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks” has been accepted for publication (to appear during March 2020, https://doi.org/10.1016/j.jlamp.2020.100542) in:
Journal of Logical and Algebraic Methods in Programming, Elsevier