Jianhua Zhao Xiuyi Zhou Xuandong Li Guoliang Zheng Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. 2005 conf/ipps/2005 IPDPS http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.146 db/conf/ipps/ipdps2005.html#ZhaoZLZ05