Goal and scenario modeling, analysis, and transformation with jUCMNav | IEEE Conference Publication | IEEE Xplore