Informasi yang berkaitan dengan en/Clock temporal logic