@article{article494d64ac,
title   = {Landing system verification based on petri nets and a hybrid approach},
author = {Villani, Emília and Valette, Robert and Miyagi, Paulo Eigi},
year = {2006},
doi = {10.1109/taes.2006.314582},
journal   = {IEEE Transactions on Aerospace and Electronic Systems}
}