Extended Comptation Tree Logic (Extended Abstract) - Lange, M (2010)