Towards Automated Cyber Range Design: Characterizing and Matching Demands to Supplies | IEEE Conference Publication | IEEE Xplore