https://123dok.net/document/lzg4212z-a-formal-architectural-description-language-based-on-symbolic-transition-systems-and-modal-logic.html