System model.spec