Mila E. Majster-Cederbaum Jinzhao Wu Houguang Yue Refinement of actions for real-time concurrent systems with causal ambiguity. 389-418 2006 42 Acta Inf. 6-7 http://dx.doi.org/10.1007/s00236-005-0172-4 db/journals/acta/acta42.html#Majster-CederbaumWY06