Time based Synchronous Global State Determination Algorithm for MDSs | AMiner