Title: Pepperdine Papers on Linear Temporal Logic : (all-In-one)