More Expressive Temporal Logic for Specifications