KhalifеK. і T. Shipova, Аналіз і дослідження моделей і методів розробки системного програмного забезпечення, Системи управління, навігації та зв’язку. Збірник наукових праць, т. 5, вип. 45, с. 60-65, Жов 2017.