An InSAR-Based Temporal Probability Integral Method and its Application for Predicting Mining-Induced Dynamic Deformations and Assessing Progressive Damage to Surface Buildings | IEEE Journals & Magazine | IEEE Xplore