Petri net and OO for the modular analysis of an aircraft landing system - Villani, Emília; Junqueira, Fabrício; Miyagi, Paulo Eigi; Valette, Robert (Mechatronics, 2004)