К. Е. Окунев и А. А. Ключарёв, Программная модель системы на кристалле, ИУС, вып. 3, сс. 44-50, июн. 2010.