André Arnold Synchronized Products of Transition Systems and Their Analysis. 26-27 http://dx.doi.org/10.1007/3-540-69108-1_2 1998 conf/apn/1998 ICATPN db/conf/apn/icatpn98.html#Arnold98