Interactive session: preaching what you practice model-based reasoning in engineering | IEEE Conference Publication | IEEE Xplore