scos / scos.teaching / Model Checking / MC-CI