T. T. Hildebrandt and V. Sassone, “Comparing Transition Systems with Independence and Asynchronous Transition Systems”, BRICS, vol. 3, no. 18, Jan. 1996.