Modeling critical infrastructure requirements | IEEE Conference Publication | IEEE Xplore