Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems | IEEE Conference Publication | IEEE Xplore