Tagname : aircraft propulsion logic analysis