Dieses Repository enthält die Beschreibung des System-Modells im Minimalbeispiel aus Kapitel 4 der Dissertation in textueller Notation. Die jeweiligen Dateien sind wie folgt strukturiert: <ol> &
This is a tool developed based on the paper "Automated synthesis of local time requirement for service composition" published in Software and Systems Modeling in 2020.