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