ivory-aadl: support for logging warnings