Reliability evaluation for dependable embedded system specifications: an approach based on DSPN | IEEE Conference Publication | IEEE Xplore