Root ContractSet "example" {
	contracts {
		Contract controller {
			description "Software Controller"
			statements {
				Property "ctrl" FMUProperty FMUInstance "DLoopController_FixedEuler_1Em6" exec_rate == 100000
			}
			scope Globally
			pattern Universality:always-the-case-that "ctrl" holds
		},
		Contract plant {
			description "Physical plant"
			statements {
				Property "plant" FMUSignal "EMAPlantNoLoad_FixedEuler_1Em6.F_OUT@expseu_" == PowerBondSuggestion with FMUSignal "LoadNSensor_FixedEuler_1Em6.V_OUTPUT@expseu_"
			}
			scope Globally
			pattern Universality:always-the-case-that "plant" holds
		}
	}
}