A system modeling language