Systematic elicitation of mode models for multifunctional systems | IEEE Conference Publication | IEEE Xplore