Russian Academy of Sciences Laboratory of Computer Aided Integrated Systems
SPIIRAS