Text this: Advances in temporal logic /