@inbook{inbook1dda9a23,
title   = {Petri net and OO for the modular analysis of an aircraft landing system},
author = {Villani, Emília and Junqueira, Fabrício and Miyagi, Paulo Eigi and Valette, Robert},
year = {2004},
publisher = {ABCM},
journal   = {Mechatronics}
}