Завантаження On some class of mathematical models for static analysis of critical-mission asynchronous systems.pdf...