Trustworthiness analysis and evaluation for command and control cyber-physical systems using generalized stochastic Petri nets.