-

see signal temporal logic