Reinhard Enders Thomas Filkorn Dirk Taubner Generating BDDs for Symbolic Model Checking in CCS. 155-164 1993 6 Distributed Computing 3 db/journals/dc/dc6.html#EndersFT93