Menshawy, Bentahar, Kholy, Laarej, 2018. Model checking real-time conditional commitment logic using transformation 138.. https://doi.org/10.1016/j.jss.2017.12.042