real-time computational tree logic Author Keyword