Mission centric reliability analysis of C4ISR architectures using Petri Nets | IEEE Conference Publication | IEEE Xplore