Title: Pepperdine Papers on Linear Temporal Logic