MASIGIC : a CAD package for digital systems modelling and simulation - Abdullah, Marsella (1988)