https://123dok.com/kr/docs/specification-validation-dynamic-systems-using-temporal-logic.12111860