A modeling technique for specification and simulation of digital systems