Wie bei allen Systemen, die hochgradig strukturiert sind und bei denen zahllose Details zuverlässig korrekt repräsentiert werden sollten, ist es hilfreich, wenn sie weitgehend automatisch generiert oder verifiziert werden. Somit bleiben die Fragen, wie die Dokumentation zunächst entwickelt wird und auf welche Weise sie nachher in die endgültige Form (hoffentlich automatisch) transferiert wird.