Text this: Reliability Model of the Fly-By-Wire System Based on Stochastic Petri Net