https://123dok.net/document/zpnxrep4-modeling-and-testing-of-component-based-systems.html