Application of object-oriented Petri net (OOPN) model in fault rehearsal of aircraft independent electrical power system | IEEE Conference Publication | IEEE Xplore