Clausius-Duhem inequality