System Model Check