For now, without proof you can get the direction cosine matrix (DCM) from the axis angle of rotation by
As of this snapshot date, this entry was owned by bloftin.