For citations:
Troitskiy A.M., Buzdalov D.V. A static approach to estimation of execution time of components in AADL models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(2):157-172. https://doi.org/10.15514/ISPRAS-2016-28(2)-10