Links for signal-temporal-logic