1 expert in "temporal logic" found: