Morin, Luc (1993) A modeling technique for specification and simulation of digital systems. PhD thesis, Concordia University.