Rezaand Chatterjee. Mapping AADL to Petri Net Tool-sets Using PNML Framework. no. 11, Scientific Research Publishing, Inc,, 2014, doi:10.4236/jsea.2014.711082.