Verifying performance oriented properties of TIS specifications