SAE AADL Standard
The Eclipse Platform’s help system includes the draft standard in html format.