FSLTL Modelle - optimiert