A fuzzy arithmetic-based analytical reliability assessment framework (FAARAF): case study, cognitive radio vehicular networks with drivers.