[1] Forum der Technik - Teil des Deutschen Museums in München (http://www.fdt.de/)

[2] Formal Description Technique (ISO, IEC)