Landing system verification based on petri nets and a hybrid approach | IEEE Journals & Magazine | IEEE Xplore