Designa tillstånd, övergångar med guards, aktioner vid in- och utträde, maxtider per steg och en definierad väg till FAULT och tillbaka.