Metadata excerpt

This example metadata section is taken from the Door lifecycle in the Elevator Management domain.

metadata
    Title : Door State Machine
    Author : Leon Starr
    Document ID : mint.elevator3.td.7
    Modification date : April 30, 2026
    Version : 3.4.4
    Organization : Model Integration, LLC
    Copyright notice > MIT
    Organization logo > mint