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