TMQ: Threat model quantification in Smart Grid critical infrastructures | IEEE Conference Publication | IEEE Xplore