AADL to Sexp utility for Konrad