Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga: Time Dependent Analysis with Dynamic Counter Measure Trees. CoRR abs/1510.00050 (2015)