Linkk Oping Electronic Articles in Temporal Action Logics Tal: Language Speciication and Tutorial Linkk Oping Electronic Articles in Computer and Information Science