Rehak, V., Slovak, P., Strejcek, J., & Helouet, L. (2010). Decidable Race Condition and Open Coregions in HMSC. Electronic Communications of the EASST, 29. https://doi.org/10.14279/tuj.eceasst.29.406