SPIL: a new graphical design notation | IEEE Conference Publication | IEEE Xplore