Hardware specification with the temporal logic TRIO