DELFIN+: An Efficient Deadlock Detection Tool for CCS Processes