Высокоуровневое проектирование встраиваемых систем. Платунов А.Е