Graphical specification of digital systems using interval temporal logic | IEEE Conference Publication | IEEE Xplore