Temporal logic model (tm) : a concept paper