V. Rehak, P. Slovak, J. Strejcek, and L. Helouet, “Decidable Race Condition and Open Coregions in HMSC”, ECEASST, vol. 29, Jul. 2010.