Formalization of financial problems and solutions under risk as an essential requirement for IT-based financial planning | IEEE Conference Publication | IEEE Xplore