PFH-calculation for complex safety functions by means of generated Markov models | IEEE Conference Publication | IEEE Xplore