Fault Tolerant Control Multiprocessor Systems Modelling Using Advanced Stochastic Petri Nets. (2016)