Modeling by construction: a new methodology for constructing models for decision support | IEEE Conference Publication | IEEE Xplore