Advances In Temporal Logic door Howard Barringer