+ spec specification for EventModel, SynthModel creation
+ SynthModel spec example