Eine Schnittstelle zu Statemate dient dazu, Statecharts aus STATEMATE zu extrahieren und sie in PEST zu Verfügung zu stellen.
