Jensen, Lin (1991) An efficient algorithm and software package for verifying delay-insensitive systems using a partial-order model. Masters thesis, Concordia University.