Text this: Construction of CFC-programs by LTL-specification