Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers | IEEE Conference Publication | IEEE Xplore