(Promela) Scripts for specifying configuring the scheduling model