Compatibility between shared variable valuations in timed automaton network model-checking | IEEE Conference Publication | IEEE Xplore