A Formal Modelling Language for Digital Electronic Systems Design | IEEE Conference Publication | IEEE Xplore