Linear Temporal Logic Courses