Fall-Back Analysis using Model-Based Engineering | IEEE Conference Publication | IEEE Xplore