FARN WANG2020-06-042020-06-041995https://scholars.lib.ntu.edu.tw/handle/123456789/497116Reachability Analysis at Procedure Level through Timing Coincidence.conference paper10.1007/3-540-60218-6_21https://doi.org/10.1007/3-540-60218-6_21