Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks | Publicación