Development of a parser for the AADL error model annex | IEEE Conference Publication | IEEE Xplore