Reinhard Enders Thomas Filkorn Dirk Taubner Generating BDDs for Symbolic Model Checking in CCS. 203-213 1991 conf/cav/1991 CAV db/conf/cav/cav91.html#EndersFT91 http://dx.doi.org/10.1007/3-540-55179-4_20