Подробнее - http://edu.ahtubamaster.ru/course/logicheskoe-i-funktsionalnoe-modelirovanie-v-1s-sppr-versii-2/