There is no xmi where the documentation can be extracted. Maybe the information provided about the Magnet14TF is helpful.
