Specification Language, Distributed Systems, Temporal Logic, System Modeling