Problems of Abstract Representation of Embedded Systems at High-level Stages Design In Proceedings of the International Workshop on Networked embedded and control system technologies: European and Russian R&D cooperation - Volume 0ICINCO, 100-107, 2009 , Milan, Italy