Uniformization and exponential transformation: Techniques for fast simulation of highly dependable non-Markovian systems