Шошмина, И. В. Методика составления контекстных требований к программным системам логического управления. ИУС 2014, 68-77.